Skolem normal form